-
1 automated reasoning
English-Russian big polytechnic dictionary > automated reasoning
-
2 automated reasoning
English-Russian dictionary of Information technology > automated reasoning
-
3 automated reasoning
1) Общая лексика: машинный (автоматизированный) поиск логического выво (в ИИ - одно из направлений машинного доказательства теорем (доказательство истинности некоторого утверждения исходя из декларированного множества аксиом))2) Вычислительная техника: автоматизация формулирования логических выводов -
4 automated reasoning
-
5 automated reasoning
Англо-русский словарь компьютерных и интернет терминов > automated reasoning
-
6 automated reasoning
в ИИ - одно из направлений машинного доказательства теорем (доказательство истинности некоторого утверждения исходя из декларированного множества аксиом)Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > automated reasoning
-
7 automated reasoning
English-Russian dictionary of terms that are used in computer games > automated reasoning
-
8 automated reasoning
English-Russian big medical dictionary > automated reasoning
-
9 reasoning
1) [логическое] рассуждение, умозаключение; [логический] выводсм. тж. abstract reasoning, automated reasoning, case-based reasoning, commonsense reasoning, deductive reasoning, logical reasoning, probabilistic reasoning, reasoning system, theorem proving2) мышлениеАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > reasoning
-
10 bottom-up reasoning
-
11 LPAR
1) Военный термин: large phased-array radar, крупная РЛС с фазированной решёткой2) Сокращение: Large Phased Array Radar, large-phased-array radar3) Вычислительная техника: (conference on) Logic for Programming, Artificial intelligence and Reasoning (AI, conference)4) Расширение файла: Logic Programming and Automated Reasoning -
12 AAR
1) Компьютерная техника: Association for Automated Reasoning2) Медицина: area at risk (размер площади, подверженной риску)3) Спорт: Able And Ready, All American Racers, All American Racing4) Военный термин: Active Array Radar, Air To Air Refueling, All American Rejects, Army area representative, after-action report, after-action review, air-air refueling, air-augmented rocket, aircraft accident report, alternate acquisition radar5) Математика: Arbitrary Angle Reduction6) Железнодорожный термин: The Association Of American Railroads8) Страхование: against all risks (страхование от всех рисков)9) Автомобильный термин: Angularly Adjusted Roller10) Сокращение: Active Antenna Radar (Anglo-French), Advanced Address Recognizer for OCR (1991 RFP for 1995), Afar, After Action Review, Air-to-Air Radar, Air-to-Air Refuelling, подведение итогов, разбор результатов выполнения задачи, ААР -, American Academy in Rome (Американская академия (археологическое общество) в г. Риме), Association of American Railroads (Ассоциация американских железных дорог), Automotive Affiliated Representatives (Ассоциация филиальных представительств по продаже автомобилей (США))11) Нефть: American Railroads, automatic alternate routing.12) Банковское дело: против всех рисков (against all risks)13) Транспорт: Airport Acceptance Rate, Association of American Railroads14) Экология: average annual rainfall15) СМИ: Aftermarket Automotive Review16) Глоссарий компании Сахалин Энерджи: alkali-aggregate activity, After Action Reviews17) Сетевые технологии: automatic alternative routing, автоматическая альтернативная маршрутизация, маршрутизация с автоматическим обходом неисправных узлов18) Нефть и газ: консорциум "Альфа-групп" и "Аксесс/Ренова" (Alfa - Access/Renova: совладельцы ТНК)19) Общественная организация: Alliance for Aging Research20) NYSE. A M R Corporation -
13 ARTIM
1) Компьютерная техника: АФЛВ (автоматизация формулирования логических выводов)2) Сокращение: Automated Reasoning Tool for Information Management -
14 Aar
1) Компьютерная техника: Association for Automated Reasoning2) Медицина: area at risk (размер площади, подверженной риску)3) Спорт: Able And Ready, All American Racers, All American Racing4) Военный термин: Active Array Radar, Air To Air Refueling, All American Rejects, Army area representative, after-action report, after-action review, air-air refueling, air-augmented rocket, aircraft accident report, alternate acquisition radar5) Математика: Arbitrary Angle Reduction6) Железнодорожный термин: The Association Of American Railroads8) Страхование: against all risks (страхование от всех рисков)9) Автомобильный термин: Angularly Adjusted Roller10) Сокращение: Active Antenna Radar (Anglo-French), Advanced Address Recognizer for OCR (1991 RFP for 1995), Afar, After Action Review, Air-to-Air Radar, Air-to-Air Refuelling, подведение итогов, разбор результатов выполнения задачи, ААР -, American Academy in Rome (Американская академия (археологическое общество) в г. Риме), Association of American Railroads (Ассоциация американских железных дорог), Automotive Affiliated Representatives (Ассоциация филиальных представительств по продаже автомобилей (США))11) Нефть: American Railroads, automatic alternate routing.12) Банковское дело: против всех рисков (against all risks)13) Транспорт: Airport Acceptance Rate, Association of American Railroads14) Экология: average annual rainfall15) СМИ: Aftermarket Automotive Review16) Глоссарий компании Сахалин Энерджи: alkali-aggregate activity, After Action Reviews17) Сетевые технологии: automatic alternative routing, автоматическая альтернативная маршрутизация, маршрутизация с автоматическим обходом неисправных узлов18) Нефть и газ: консорциум "Альфа-групп" и "Аксесс/Ренова" (Alfa - Access/Renova: совладельцы ТНК)19) Общественная организация: Alliance for Aging Research20) NYSE. A M R Corporation -
15 JAR
1) Компьютерная техника: Journal of Automated Reasoning2) Американизм: Just Another Rifle3) Военный термин: JIC Analysis Report, Joint Aviation Requirements, jamming avoidance response, joint airworthiness regulations4) Сокращение: Joint Airworthiness Requirements5) Вычислительная техника: Java ARchive (Java), java ARchive6) Транспорт: Joint Aviation Requirement7) Расширение файла: Java ARchive Compressed file archive, Java Archive (file format)8) Чат: Just Acting Right9) Аэропорты: Arcadia, California -
16 aar
1) Компьютерная техника: Association for Automated Reasoning2) Медицина: area at risk (размер площади, подверженной риску)3) Спорт: Able And Ready, All American Racers, All American Racing4) Военный термин: Active Array Radar, Air To Air Refueling, All American Rejects, Army area representative, after-action report, after-action review, air-air refueling, air-augmented rocket, aircraft accident report, alternate acquisition radar5) Математика: Arbitrary Angle Reduction6) Железнодорожный термин: The Association Of American Railroads8) Страхование: against all risks (страхование от всех рисков)9) Автомобильный термин: Angularly Adjusted Roller10) Сокращение: Active Antenna Radar (Anglo-French), Advanced Address Recognizer for OCR (1991 RFP for 1995), Afar, After Action Review, Air-to-Air Radar, Air-to-Air Refuelling, подведение итогов, разбор результатов выполнения задачи, ААР -, American Academy in Rome (Американская академия (археологическое общество) в г. Риме), Association of American Railroads (Ассоциация американских железных дорог), Automotive Affiliated Representatives (Ассоциация филиальных представительств по продаже автомобилей (США))11) Нефть: American Railroads, automatic alternate routing.12) Банковское дело: против всех рисков (against all risks)13) Транспорт: Airport Acceptance Rate, Association of American Railroads14) Экология: average annual rainfall15) СМИ: Aftermarket Automotive Review16) Глоссарий компании Сахалин Энерджи: alkali-aggregate activity, After Action Reviews17) Сетевые технологии: automatic alternative routing, автоматическая альтернативная маршрутизация, маршрутизация с автоматическим обходом неисправных узлов18) Нефть и газ: консорциум "Альфа-групп" и "Аксесс/Ренова" (Alfa - Access/Renova: совладельцы ТНК)19) Общественная организация: Alliance for Aging Research20) NYSE. A M R Corporation -
17 jar
1) Компьютерная техника: Journal of Automated Reasoning2) Американизм: Just Another Rifle3) Военный термин: JIC Analysis Report, Joint Aviation Requirements, jamming avoidance response, joint airworthiness regulations4) Сокращение: Joint Airworthiness Requirements5) Вычислительная техника: Java ARchive (Java), java ARchive6) Транспорт: Joint Aviation Requirement7) Расширение файла: Java ARchive Compressed file archive, Java Archive (file format)8) Чат: Just Acting Right9) Аэропорты: Arcadia, California -
18 automatic theorem proving
одно из направлений исследований и разработок в области искусственного интеллектаАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > automatic theorem proving
-
19 line
1) линия; кривая2) линия, производственная линия; участок3) серия, гамма (напр. станков)4) строка; кадр УП ( станка с ЧПУ)5) магистраль; трубопровод; канал6) облицовка; футеровка || облицовывать; футеровать7) устанавливать соосно; выставлять по одной линии•- adaptive manufacturing lineline per minute — строк в минуту, число строк в минуту (единица скорости работы, напр. печатающего устройства)
- addendum line
- adiabatic line
- air line
- arithmetical mean line of the profile
- assembling line
- assembly line
- asynchronized line
- automated grinding line
- automated line
- automated machine assembly line
- automatic rotary line
- base line
- basic line
- belt pitch line
- block and head line
- blurred line
- boring line
- branch line
- broach line
- broaching line
- broken line
- build line
- calibration line
- carousel buffer line
- catenary line
- center line of blade profile
- center line of fluid flow
- center line of mass
- center line of root
- center line of rotation
- center line of spindle
- center line
- central reference line
- checked line
- CNC cell line
- CNC transfer line
- code line
- coding line
- coil line
- coiled line
- command line
- concurrent lines
- constant-pressure line
- construction lines
- contact line
- continuous line of shafting
- continuous line
- control line
- conveyor line
- conveyorized line
- coolant line
- cooling lines
- crane clearance line
- curve line
- curved line
- cutting plane line
- dash line
- dash-and-dot line
- datum line
- dedendum line
- dedicated line
- delay line
- delivery line
- desired line of cut
- die line
- digital line
- dimension line
- discharge line
- DNC line
- dot-and-dash line
- dotted line
- double-belt assembly line
- drain line
- drilling line
- driven-roller line
- earthed line
- echo line
- effective line of action
- elastic line
- equiclearance contour line
- exhaust line
- extension line
- extraheavy line
- face line of tooth
- faint grid lines
- feed line
- final assembly line
- finish line
- flank line
- flexible flow line
- flexible transfer line
- flow line
- FMS line
- free-form line
- fuel line
- full line
- generating line
- generator line
- ghost lines
- graduation line
- grinding line
- grounded line
- guide line
- hair line
- hard automation line
- heavy line
- helical line
- helix line
- hidden line
- high-volume laser production line
- housing line
- hydraulic line
- hyperboloid generating line
- in line with
- index line
- indexing line
- influence line
- initial straight line of reference
- inlet line
- instantaneous line of contact
- instruction main line
- intake line
- intermediate language line
- isobaric line
- isochoric line
- isomancost line
- isothermal line
- junction line
- killed line
- knuckle line
- large prismatic machining line
- layout line
- lead line
- leader line
- less robotized line
- level line
- line of action
- line of contact
- line of debris
- line of engagement
- line of fluid flow
- line of machines
- line of profile peaks
- line of profile valleys
- line of slide
- lines of NC code
- live line
- load line
- local line
- lubrication line
- machine-tool product line
- machining center line
- machining center-based line
- machining line
- manufacturing line
- margin line
- match line
- mean line
- metalforming machines line
- metalforming machines transfer line
- milling line
- mismatch contour line
- mixed line
- multiple lines of reasoning
- multiple product line
- multiproduct flow line
- multirobot machining line
- multistation line
- Nagare line
- nonsynchronous transfer line
- numerically controlled line of machines
- oil line
- outlet line
- output limit line
- overlapped scan lines
- paced assembly line
- paint line
- pallet line
- pallet table line
- pallet transfer line
- pallet transporter line
- palletized transfer line
- parameter line
- part manual line
- parting line
- perpendicular line
- phantom line
- pilot line
- piston manufacturing line
- pitch line
- plumb line
- power line
- pre-filled line
- press line
- pressure line
- pressure lubrication line
- pressure purge line
- pressure relief line
- primary contact line
- prismatic machining line
- prismatic parts FMS line
- product line
- production line
- pump line
- pumping line
- purge line
- quasi-synchronous line
- recirculated line
- reference line
- reference rack pitch line
- representative line
- return lubrication line
- robot welding line
- robotized line
- robot-manned line
- root line
- rotary transfer line
- rotational parts FMS line
- rotational parts line
- sampling line
- sawing line
- scale line
- scanning lines
- scavenging line
- screw line
- scribe line
- scribed line
- secondary contact line
- secondary pumping line
- semiautomated line
- sequential production line
- service line
- shaft line
- shear line
- shearing line
- sheet line
- side line
- signal main line
- simulated production line
- single-component transfer line
- skew lines
- sky line
- slanting line
- slide line
- small prismatic machining line
- solid line
- special boring line
- spiral line
- split lines
- spot-welding line
- steel fabrication line
- straight line
- suction line
- suction lubrication line
- superimposed line
- supply line
- synchronized line
- synchronized transfer line
- synchronous line
- synchronous transfer line
- tank return line
- tape line
- thin line
- tip line
- to line out
- to line up
- tooth bearing contour line
- tooth center line
- top line
- tow line
- transfer line
- transfer machining line
- transmission line
- transporter line
- transverse line of action
- trunk line
- turning line
- unbalanced production line
- unit line
- utility line
- vacuum line
- vehicle conveyor line
- vortex line
- walking-beam transfer line
- way-type line
- wear distribution line
- weld line
- welding assembly line
- working hydraulic line
- working line
- zero lineEnglish-Russian dictionary of mechanical engineering and automation > line
-
20 system
ˈsɪstɪm сущ.
1) а) система Syn: method б) система, устройство;
метод adversary system ≈ система состязательности в суде (правда выясняется в ходе соревнования позиций и доказательств сторон в судебном процессе) health system ≈ органы здравоохранения narrative evaluation system ≈ описательная система оценок( письменная характеристика успеваемости учащегося, даваемая преподавателем в свободной форме) political system ≈ государственный строй air-conditioning system
2) какая-л. определенная система а) сеть( дорог и т. п.) б) мир;
вселенная( система планет)
3) организм или часть организма nervous system support-locomotion system
4) геол. система, формация система;
способ;
метод - a good * of teaching French хорошая система /-ий метод/ обучения французскому языку - the touch * of typewriting печатание на машинке по слепому методу (тк. в ед. ч.) система, систематичность - to work without * работать без( строгой) системы - his work lacks * (в) его работе недостает системы - to bring * out of confusion упорядочить неразбериху;
найти выход из запутанного положения строй, устройство - political * государственный строй - the feudal * феодальный строй - * of government система правления - bipartisan /two-party/ * (американизм) (политика) двухпартийная система классификация, система - * of axes (математика) система координат - * of units( физическое) система измерений - natural * (химическое) периодическая система элементов - the decimal * десятичная система - binary * (химическое) бинарная /двойная/ система (философское) система;
комплекс идей, образующих целое - a * of philosophy философская система;
философское учение( философское) вселенная, мир сеть (дорог, труб и т. п.) - tramway * трамвайная сеть - irrigation * система орошения - nervous * нервная система - circulatory * система кровообращения - telephone * телефонная сеть организм - to pass into the * проникнуть в организм - to introduce smth. into the * ввести что-л. в организм - strong drink is bad for the * крепкие напитки вредны для организма - to get smth. out of one's * вывести( яд и т. п.) из организма;
избавиться от какого-л. чувства, навязчивой идеи и т. п. - I must get her out of my * я должен выбросить ее из головы (астрономия) система - * of comets система комет - solar * солнечная система (геология) система, формация (спортивное) судейство - closed /written/ * закрытое судейство - open /public/ * открытое судейство (военное) средство - forward-based *s средства передового базирования - all *s go (космонавтика) все системы (корабля) работают нормально( компьютерное) система - multiprocession * многопроцессорная система - * manager системный программист;
администратор системы - * management сопровождение /координация работы/ системы accept ~ система акцептования accounting information ~ вчт. бухгалтерская информационная система accounting ~ система бухгалтерского учета accounting ~ система счетов adaptive ~ вчт. адаптивная система administrative ~ административная система alarm ~ система сигнализации analysis ~ система анализа application visualization ~ вчт. прикладная система изображения asset quality rating ~ система квалификации активов asymptotically stable ~ асимптотически устойчивая система automated control ~ асу, автоматизированная система управления axiomatic ~ аксиоматическая система backup ~ вчт. дублирующая система banking ~ банковская система belief ~ система доверия bicameral ~ двухпалатная система bicameral ~ парл. двухпалатная система bipartite ~ парл. двухпартийная система block ~ =blocking bonus ~ премиальная система buddy ~ метод близнецов bulk-service ~ система с групповым обслуживанием business ~ экономическая система cad ~ вчт. система автоматизированного проектирования call-reply ~ вчт. запрсно-ответная система certification ~ система сертификации closed queueing ~ замкнутая система массового обслуживания closed ~ замкнутая система code-dependent ~ вчт. система зависящая от данных code-independent ~ вчт. система не зависящая от данных code-insensitive ~ вчт. система не зависящая от данных code-sensitive ~ вчт. система зависящая от данных code-transparent ~ вчт. система не зависящая от данных coinage ~ монетная система column ~ система бухгалтерского учета по колонкам commission ~ система комиссионных вознаграждений computer ~ вычислительная система computer ~ вчт. вычислительная система computer ~ вычислительный комплекс computer ~ система вычислительных машин computer-aided control ~ автоматизированная система управления computer-to-plate ~ система создания печатных форм на компьютере computerized information ~ информационная система на базе ЭВМ concealment ~ система маскировки concession ~ система концессий constrained ~ вчт. система с ограничениями consulting ~ вчт. консультирующая система control ~ система управления control ~ вчт. система управления cooperative ~ система кооперации cooptation ~ система кооптации costing ~ система калькуляции себестоимости court ~ судебная система, система судопроизводства credit ~ кредитная система criminal reestablishment ~ система восстановления личности преступника crisis alert ~ система предупреждения о кризисе cross ~ вчт. кросс-система cyclical response ~ вчт. система циклических реакций data base management ~ вчт. система управления базой данных data handling ~ вчт. система обработки данных data processing ~ вчт. система обработки данных data ~ вчт. информационная система database ~ вчт. система баз данных decimal ~ десятичная система dedicated ~ специализированная система deductive ~ дедуктивная система delay ~ система с ожиданием desktop ~ система непосредственного взаимодействия direct debit ~ система прямого дебета direct ~ целевая система directional ~ система управления disk operating ~ вчт. дисковая операционная система, ДОС distributed file ~ вчт. распределенная файловая система distributed ~ вчт. распределенная система distribution ~ система распределения distributive ~ распределительная система DP ~ (data processing ~) система обработки данных dynamic ~ динамическая система educational ~ система образования educational ~ система обучения election ~ избирательная система electronic book-entry ~ вчт. электронная система бухгалтерского учета electronic full-page makeup ~ вчт. электронная система верстки полос enclave ~ анклавная группа;
полузащищенная группа (работающих под специальным наблюдением в обычных рабочих условиях инвалидов) equilibrium ~ равновесная система evolutionary ~ развиваемая система executive ~ вчт. операционная система expand a ~ вчт. расширять комплект оборудования системы expert ~ вчт. экспертная система explanatory ~ вчт. система объяснений fail-soft ~ вчт. система с амортизацией отказов federal ~ федеральная система fee ~ система вознаграждений feedback ~ система с обратной связью file ~ вчт. файловая система filing ~ система регистрации документов filing ~ система хранения документов financial ~ финансовая система fiscal ~ система финансов fixed price ~ система с фиксированной ценой flat-rate guarantee ~ система гарантий с фиксированной ставкой formal ~ формальная система fractional reserve ~ система частичных резервов frame ~ вчт. система фреймов functional information ~ вчт. функциональный информационная система giro ~ система жиросчетов governmental ~ правительственная система grading ~ система сортировки guarantee ~ система гарантий guidance ~ вчт. система -путеводитель hard disk ~ вчт. система с жестким диском help ~ вчт. справочник hire ~ =hire-purchase historical cost ~ выч. калькуляция на основе фактических издержек производства homogeneous ~ однородная система host ~ вчт. базисная система host ~ вчт. централизованная система imprest ~ система авансирования imputation ~ система условного начисления indexing ~ система индексации inductive ~ вчт. индуктивная система information ~ вчт. информационная система instruction ~ вчт. обучающая система integrated ~ вчт. интегрированная система intelligent ~ вчт. интеллектуальная система interactive ~ вчт. диалоговая система interactive ~ вчт. интерактивная система interest ~ система ставок процента international monetary ~ международная валютная система judicial ~ система судебных органов judicial ~ судебная система, система судебных органов judicial ~ судебная система jury ~ система суда присяжных knowledge base management ~ вчт. система управления базой знаний knowledge representation ~ вчт. система представления знаний land registration ~ система регистрации земельного участка learning ~ вчт. самообучаемая система licensing ~ система лицензирования linear programming ~ система линейного программирования linear ~ линейная система loadable ~ вчт. загружаемая система loan limit ~ система предельных размеров кредита loose-leaf ~ полигр. издание с отрывными или вкладными листами loss ~ система с потерями mail ~ вчт. электронная почта management information ~ (MIS) управленческая информационная система manual ~ система ручного управления many-server ~ вчт. многоканальная система mapped ~ вчт. система с управлением памятью market ~ рыночная система market ~ рыночная экономика market ~ страна с рыночной экономикой marketing information ~ система маркетинговой информации markov ~ марковская система markovian ~ марковская система master-slave ~ несимметричная система match ~ система выравнивания курсов militia ~ система милиции minimum price ~ система минимальных цен minimum wage ~ система минимальной заработной платы ministerial ~ правительственная система mixed price ~ смешанная ценовая система mixed ~ смешанная система modeless ~ вчт. система с однородным интерфейсом monetary ~ денежная система monetary ~ финансовая система monitoring ~ система мониторинга monitoring ~ система текущего контроля multi-user ~ вчт. многопользовательская система multiprocessing ~ вчт. многопроцессорная система multiprogramming ~ вчт. система, работающая в мультипрограммном режиме multiserver ~ вчт. многоканальная система multistation ~ вчт. многопунктовая система multitasking ~ вчт. многозадачная система multiuser ~ система коллективного пользования multivariable ~ вчт. многомерная система municipal ~ муниципальная система non-markovian ~ вчт. немарковская система nonstop ~ вчт. безостановочный компьютер normative ~ нормативная система number ~ система счисления numeration ~ система счисления off-line ~ вчт. автономная система on-demand ~ вчт. система без ожидания on-line ~ вчт. неавтономная система on-line ~ вчт. система, работающая в реальном масштабе времени on-line ~ вчт. система реального времени one-party ~ однопартийная система open learning ~ гибкая система обучения open ~ вчт. открытая система open-item ~ система с незакрытыми статьями баланса operating ~ действующая система operating ~ вчт. операционная система organized banking ~ организованная банковская система page ~ вчт. страничная система parliamentary ~ парламентская система partial cost ~ система калькуляции издержек производства с использованием нормативов party ~ партийная система patent ~ система патентования pay-as-you-go ~ система выплаты выходных пособий при увольнении payments ~ система платежей penal ~ пенитенциарная система periodic reordering ~ вчт. система с периодической подачей заказов pilot ~ вчт. прототип системы ~ система, устройство;
political system государственный строй portable ~ вчт. мобильная система preferential ~ система преференций premium ~ премиальная система price control ~ система регулирования цен price support ~ система гарантирования цен price ~ система цен priority ~ вчт. система приоритетов priority ~ вчт. система с приоритетами probabilistic ~ вероятностная система process cost ~ система исчисления производственных издержек production ~ продукционная система productions ~ система продукций program development ~ вчт. система разработки программ programming ~ вчт. система программирования progressive taxation ~ система прогрессивного налогообложения proportional taxation ~ система пропорционального налогообложения protection ~ вчт. система защиты prototyping ~ макет системы public health ~ система здравоохранения quality ~ система критериев качества quality ~ система проверки качества quata ~ система квот question-answering ~ вчт. вопросно-ответная система queueing ~ система массового обслуживания queueing ~ вчт. система массового обслуживания quota ~ система иммиграционных квот quota ~ система квот quota ~ система контингентов real time ~ вчт. система реального времени reasoning ~ вчт. разумная система redundant ~ вчт. избыточная система reliable ~ надежная система report ~ система отчетности reporting ~ система отчетности reporting ~ система сбора информации reporting ~ система учета representation ~ система представления reservation ~ система резервирования resident ~ вчт. резидентная система retrieval ~ док. система внесения исправлений retrieval ~ вчт. система поиска revision control ~ вчт. система управления версиями risk control ~ система контроля рисков salary adjustment ~ система регулирования заработной платы salary ~ система заработной платы scalable ~ вчт. расширяемая система school ~ школьная система segment ~ вчт. система с сегментной организацией self-assessment tax ~ система самообложения налогом self-contained ~ замкнутая система serving ~ вчт. система обслуживания setting up the ~ вчт. начальная установка системы short-term support ~ система краткосрочной поддержки simulation ~ имитационная система single-channel ~ вчт. одноканальная система single-server ~ вчт. одноканальная система slave ~ подчиненная система stable ~ устойчивая система standard pay ~ система нормативной заработной платы standby ~ резервная система static-priority ~ вчт. система со статическими приоритетами stationary ~ стационарная система stochastic ~ стохастическая система support ~ вчт. исполняющая система system метод ~ мир, вселенная ~ организм ~ сеть (дорог и т. п.) ~ геол. система, формация ~ система, устройство;
political system государственный строй ~ система, устройство ~ система, метод ~ система;
метод;
system of axes система координат;
what system do you go on? какому методу вы следуете? ~ comp. система ~ устройство ~ for medium-term financial assistance программа среднесрочной финансовой помощи ~ система;
метод;
system of axes система координат;
what system do you go on? какому методу вы следуете? ~ of commands система команд ~ of deductions система выводов ~ of financial contributions система финансовых взносов ~ of import control система контроля за импортом ~ of monitoring balance sheet growth система контроля за ростом статей баланса ~ of reimbursement система возмещения расходов ~ of remuneration система вознаграждения ~ of state государственное устройство ~ of taxation система налогообложения target ~ вчт. целевая система tax ~ налоговая система tax-at-source ~ система удержания налога из общей суммы доходов taxation ~ система налогообложения tender ~ система торгов terminal ~ вчт. система терминалов test ~ вчт. испытательная система text-retrieval ~ вчт. документальная информационная система thin-route ~ вчт. малоканальная система tightly-coupled ~ вчт. система с сильной связью time sharing ~ вчт. система разделения времени time-sharing ~ вчт. система разделения времени time-sharing ~ вчт. система с разделением времени timecard ~ система табельного учета totting-up ~ система зачетов trade support ~ система поддержки торговли trading ~ система торговли transaction-oriented ~ вчт. диалоговая система обработки запросов truck ~ система оплаты труда натурой truck ~ система оплаты труда товарами truck: truck = truck system ~ attr.: ~ system оплата труда товарами вместо денег;
Truck Acts ист. законы, ограничивающие систему оплаты труда товарами turnkey ~ вчт. готовая система two-channel ~ вчт. двухканальная система two-party ~ двухпартийная система unicameral ~ однопалатная система unitary tax ~ единая система налогообложения unmapped ~ вчт. система без управления памятью up ~ исправная система virgin ~ вчт. исходная система voluntary labelling ~ система добровольного снабжения продукта этикеткой wage ~ система оплаты труда waiting ~ вчт. система с ожиданием watch ~ бирж. система наблюдения weighting ~ система весов ~ система;
метод;
system of axes система координат;
what system do you go on? какому методу вы следуете? windowing ~ вчт. система управления окнами word processing ~ вчт. система обработки текстов work-space ~ вчт. система с рабочим состоянием
- 1
- 2
См. также в других словарях:
Automated reasoning — is an area of computer science dedicated to understand different aspects of reasoning. The study in automated reasoning helps produce software which allows computers to reason completely, or nearly completely, automatically. Although automated… … Wikipedia
Mathematics Mechanization and Automated Reasoning Platform — Original author(s) 中国科学院数学机械化重点实验室 Developer(s) 中國 国家基础研究发展规划项目 数学机械化与自动推理平台 软件开发课题组 Stable release 3.0 / April 1, 2006; 5 years ago (2006 04 01) … Wikipedia
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods — The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) is an annual international academic conference that deals with all aspects of automated reasoning with analytic tableaux. Periodically, it… … Wikipedia
Association for Automated Reasoning — The Association for Automated Reasoning (AAR) is a non profit corporation that serves as an association of researchers working on automated theorem proving, automated reasoning, and related fields. It organizes the CADE and IJCAR conferences and… … Wikipedia
Handbook of Automated Reasoning — The Handbook of Automated Reasoning (ISBN 0444508139, 2128 pages) is a collection of survey articles on the field of automated reasoning. Published on June 2001 by MIT Press, it is edited by John Alan Robinson and Andrei Voronkov. Volume 1… … Wikipedia
International Joint Conference on Automated Reasoning — IJCAR is a series of conferences on the topics of automated reasoning, automated deduction, and related fields. It is organized semi regularly as a merger of other meetings. IJCAR replaces those independent conferences in the years it takes place … Wikipedia
Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… … Wikipedia
Reasoning — is the cognitive process of looking for reasons for beliefs, conclusions, actions or feelings. [ Kirwin, Christopher. 1995. Reasoning . In Ted Honderich (ed.), The Oxford Companion to Philosophy . Oxford: Oxford University Press: p. 748] Humans… … Wikipedia
reasoning — Any process of drawing a conclusion from a set of premises may be called a process of reasoning. If the conclusion concerns what to do, the process is called practical reasoning, otherwise pure or theoretical reasoning. Evidently such processes… … Philosophy dictionary
Automated Valuation Model — (AVM) is the name given to a service that can provide property valuations using mathematical modelling combined with a database. Most AVMs calculate a property’s value at a specific point in time by analysing values of comparable properties. As… … Wikipedia
automated machine-controlled machine-driven — Automatic Au to*mat ic, Automatical Au to*mat ic*al, a. [Cf. F. automatique. See {Automaton}.] 1. Having an inherent power of action or motion. [1913 Webster] Nothing can be said to be automatic. Sir H. Davy. [1913 Webster] 2. Pertaining to, or… … The Collaborative International Dictionary of English